4

Compiling functional languages with flow analysis

Year:
1996
Language:
english
File:
PDF, 158 KB
english, 1996
8

Flattening tuples in an SSA intermediate representation

Year:
2008
Language:
english
File:
PDF, 1.24 MB
english, 2008
9

Macroprogramming heterogeneous sensor networks using cosmos

Year:
2007
Language:
english
File:
PDF, 649 KB
english, 2007
10

A concurrent abstract interpreter

Year:
1994
Language:
english
File:
PDF, 1.11 MB
english, 1994
11

A transactional object calculus

Year:
2005
Language:
english
File:
PDF, 334 KB
english, 2005
12

Dynamic state restoration using versioning exceptions

Year:
2006
Language:
english
File:
PDF, 817 KB
english, 2006
14

TS/Scheme: Distributed data structures in Lisp

Year:
1994
Language:
english
File:
PDF, 1.29 MB
english, 1994
15

Improving duplicate elimination in storage systems

Year:
2006
Language:
english
File:
PDF, 471 KB
english, 2006
22

Modular reasoning for deterministic parallelism

Year:
2011
Language:
english
File:
PDF, 512 KB
english, 2011
24

Stabilizers

Year:
2006
Language:
english
File:
PDF, 462 KB
english, 2006
28

CompCertTSO

Year:
2013
Language:
english
File:
PDF, 1.60 MB
english, 2013
34

Calcified Right Atrial Mass

Year:
2012
Language:
english
File:
PDF, 564 KB
english, 2012
39

Point-of-Care Ultrasonography in Pediatrics

Year:
2016
Language:
english
File:
PDF, 2.05 MB
english, 2016
43

A foundation for an efficient multi-threaded scheme system

Year:
1992
Language:
english
File:
PDF, 1.14 MB
english, 1992
45

Resource-sensitive synchronization inference by abduction

Year:
2012
Language:
english
File:
PDF, 710 KB
english, 2012
46

Static specification inference using predicate mining

Year:
2007
Language:
english
File:
PDF, 302 KB
english, 2007
47

A customizable substrate for concurrent languages

Year:
1992
Language:
english
File:
PDF, 1.38 MB
english, 1992
49

Randomized leader election

Year:
2007
Language:
english
File:
PDF, 517 KB
english, 2007